Перевод: с английского на русский

с русского на английский

method of forcing

См. также в других словарях:

  • Forcing (mathematics) — For the use of forcing in recursion theory, see Forcing (recursion theory). In the mathematical discipline of set theory, forcing is a technique invented by Paul Cohen for proving consistency and independence results. It was first used, in 1963,… …   Wikipedia

  • Forcing — En mathématiques, et plus précisément en logique mathématique, le forcing est une technique inventée par Paul Cohen pour prouver des résultats de cohérence et d indépendance en théorie des ensembles. Elle a été utilisée pour la première fois en… …   Wikipédia en Français

  • method — The mode or manner or orderly sequence of events of a process or procedure. SEE ALSO: fixative, operation, procedure, stain, technique. [G. methodos; fr. meta, after, + hodos, way] Abell Kendall m. a …   Medical dictionary

  • New minor forcing — (often abbreviated NMF), is a bridge convention in which responder s bid of a previously unbid minor over a no trump rebid by opener (generally 1NT) is artificial and used primarily when looking for three card support for a five card major. It… …   Wikipedia

  • Zero-forcing precoding — Zero forcing (or Null Steering) precoding is a spatial signal processing by which the multiple antenna transmitter can null multiuser interference signals in wireless communications. Regularized zero forcing precoding is enhanced processing to… …   Wikipedia

  • List of forcing notions — In mathematics, forcing is a method of constructing new models M[G] of set theory by adding a generic subset G of a poset P to a model M. The poset P used will determine what statements hold in the new universe (the extension ); to force a… …   Wikipedia

  • Spectral method — Spectral methods are a class of techniques used in applied mathematics and scientific computing to numerically solve certain Dynamical Systems, often involving the use of the Fast Fourier Transform. Where applicable, spectral methods have… …   Wikipedia

  • Credй method — 1. method of expressing the placenta by forcing the uterus down into the pelvis and at the same time squeezing the uterus from all sides so that its contents are expelled. 2. a similar method for expressing urine from the bladder, especially in… …   Medical dictionary

  • Mathematical logic — (also known as symbolic logic) is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic.[1] The field includes both the mathematical study of logic and the… …   Wikipedia

  • Set theory — This article is about the branch of mathematics. For musical set theory, see Set theory (music). A Venn diagram illustrating the intersection of two sets. Set theory is the branch of mathematics that studies sets, which are collections of objects …   Wikipedia

  • Zermelo–Fraenkel set theory — Zermelo–Fraenkel set theory, with the axiom of choice, commonly abbreviated ZFC, is the standard form of axiomatic set theory and as such is the most common foundation of mathematics.ZFC consists of a single primitive ontological notion, that of… …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»